61. 100% mathematical proof

پدیدآورنده :

کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)

موضوع : ، Proof theory,، Logic, Symbolic and mathematical

رده :
QA
9
.
54
.
G367
1996

62. 100 mathematical proof

پدیدآورنده :

کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)

موضوع : ، Proof theory,، Logic, Symbolic and mathematical

رده :
QA
9
.
54
.
G367
1996

63. mathematical proof

پدیدآورنده :

کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)

موضوع : Proof theory,Logic, Symbolic and mathematical

رده :
QA9
.
54
.
G367
1996

64. programs-as-Adapting proofs

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Howard isomorphism. ; Proof theory. ; Logic, Symbolic and mathematical. ; Functional programming (Computer science) ; Lambda calculus. ; Abstract data types (Computer science) ; -Curry

65. theory-Hybrid logic and its proof

کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)

موضوع : Proof theory. ; Logic, Symbolic and mathematical. ;